$\forall$$R$:es\_realizer\{i:l\}, $P$:(event\_system\{i:l\}$\rightarrow$prop\{i':l\}).
\\[0ex]R{-}realizes\{i:l\}($R$; ${\it es}$.$P$(${\it es}$)) $\in$ prop\{i'':l\}